(1
 (
("distance-increasing(agent2 agent1)" 290 605)
("visible(agent2 agent1)" 163 304)
("heard(agent2 agent1)" 259 358)
("collision(agent1 agent2)" 288 291)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 605 609)
("distance-stable(agent2 agent1)" 630 1127)
("visible(agent1 agent2)" 163 302)
("distance-decreasing(agent2 agent1)" 5 290)
("distance-decreasing(agent2 agent1)" 609 630)
("heard(agent1 agent2)" 259 358)
 )
)
(2
 (
("distance-increasing(agent2 agent1)" 311 646)
("visible(agent2 agent1)" 184 325)
("heard(agent2 agent1)" 285 376)
("collision(agent1 agent2)" 309 312)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 646 650)
("distance-stable(agent2 agent1)" 672 1080)
("visible(agent1 agent2)" 184 322)
("distance-decreasing(agent2 agent1)" 5 311)
("distance-decreasing(agent2 agent1)" 650 672)
("heard(agent1 agent2)" 285 376)
 )
)
(3
 (
("distance-increasing(agent2 agent1)" 282 589)
("visible(agent2 agent1)" 155 296)
("heard(agent2 agent1)" 256 347)
("collision(agent1 agent2)" 280 282)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 589 593)
("distance-stable(agent2 agent1)" 615 1080)
("visible(agent1 agent2)" 155 294)
("distance-decreasing(agent2 agent1)" 5 282)
("distance-decreasing(agent2 agent1)" 593 615)
("heard(agent1 agent2)" 256 347)
 )
)
(4
 (
("distance-increasing(agent2 agent1)" 103 231)
("visible(agent2 agent1)" 0 116)
("heard(agent2 agent1)" 77 164)
("collision(agent1 agent2)" 102 104)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 231 235)
("distance-stable(agent2 agent1)" 256 1078)
("visible(agent1 agent2)" 0 115)
("distance-decreasing(agent2 agent1)" 5 103)
("distance-decreasing(agent2 agent1)" 235 256)
("heard(agent1 agent2)" 77 164)
 )
)
(5
 (
("distance-increasing(agent2 agent1)" 157 339)
("visible(agent2 agent1)" 4 171)
("heard(agent2 agent1)" 131 224)
("collision(agent1 agent2)" 155 157)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 339 343)
("distance-stable(agent2 agent1)" 365 1083)
("visible(agent1 agent2)" 4 169)
("distance-decreasing(agent2 agent1)" 5 157)
("distance-decreasing(agent2 agent1)" 343 365)
("heard(agent1 agent2)" 131 224)
 )
)
(6
 (
("distance-increasing(agent2 agent1)" 423 871)
("visible(agent2 agent1)" 296 437)
("heard(agent2 agent1)" 397 490)
("collision(agent1 agent2)" 421 423)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 871 875)
("distance-stable(agent2 agent1)" 898 1079)
("visible(agent1 agent2)" 296 435)
("distance-decreasing(agent2 agent1)" 5 423)
("distance-decreasing(agent2 agent1)" 875 898)
("heard(agent1 agent2)" 397 490)
 )
)
(7
 (
("distance-increasing(agent2 agent1)" 237 500)
("visible(agent2 agent1)" 111 251)
("heard(agent2 agent1)" 210 307)
("collision(agent1 agent2)" 236 237)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 500 504)
("distance-stable(agent2 agent1)" 524 1080)
("visible(agent1 agent2)" 111 249)
("distance-decreasing(agent2 agent1)" 5 237)
("distance-decreasing(agent2 agent1)" 504 524)
("heard(agent1 agent2)" 210 307)
 )
)
(8
 (
("distance-increasing(agent2 agent1)" 127 279)
("visible(agent2 agent1)" 0 141)
("heard(agent2 agent1)" 99 196)
("collision(agent1 agent2)" 125 128)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 279 283)
("distance-stable(agent2 agent1)" 305 1081)
("visible(agent1 agent2)" 0 139)
("distance-decreasing(agent2 agent1)" 5 127)
("distance-decreasing(agent2 agent1)" 283 305)
("heard(agent1 agent2)" 99 196)
 )
)
(9
 (
("distance-increasing(agent2 agent1)" 252 528)
("visible(agent2 agent1)" 125 266)
("heard(agent2 agent1)" 220 318)
("collision(agent1 agent2)" 250 253)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 528 532)
("distance-stable(agent2 agent1)" 553 1078)
("visible(agent1 agent2)" 125 263)
("distance-decreasing(agent2 agent1)" 5 252)
("distance-decreasing(agent2 agent1)" 532 553)
("heard(agent1 agent2)" 220 318)
 )
)
(10
 (
("distance-increasing(agent2 agent1)" 208 440)
("visible(agent2 agent1)" 81 222)
("heard(agent2 agent1)" 178 278)
("collision(agent1 agent2)" 206 209)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 440 444)
("distance-stable(agent2 agent1)" 465 1071)
("visible(agent1 agent2)" 81 219)
("distance-decreasing(agent2 agent1)" 5 208)
("distance-decreasing(agent2 agent1)" 444 465)
("heard(agent1 agent2)" 178 278)
 )
)
(11
 (
("distance-increasing(agent2 agent1)" 132 288)
("visible(agent2 agent1)" 0 146)
("heard(agent2 agent1)" 106 192)
("collision(agent1 agent2)" 131 133)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 288 292)
("distance-stable(agent2 agent1)" 313 1082)
("visible(agent1 agent2)" 0 143)
("distance-decreasing(agent2 agent1)" 5 132)
("distance-decreasing(agent2 agent1)" 292 313)
("heard(agent1 agent2)" 106 192)
 )
)
(12
 (
("distance-increasing(agent2 agent1)" 177 380)
("visible(agent2 agent1)" 47 191)
("heard(agent2 agent1)" 151 242)
("collision(agent1 agent2)" 175 177)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 380 384)
("distance-stable(agent2 agent1)" 405 1063)
("visible(agent1 agent2)" 47 189)
("distance-decreasing(agent2 agent1)" 5 177)
("distance-decreasing(agent2 agent1)" 384 405)
("heard(agent1 agent2)" 151 242)
 )
)
(13
 (
("distance-increasing(agent2 agent1)" 489 1003)
("visible(agent2 agent1)" 362 503)
("heard(agent2 agent1)" 453 552)
("collision(agent1 agent2)" 488 489)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 1003 1007)
("distance-stable(agent2 agent1)" 1028 1078)
("visible(agent1 agent2)" 362 501)
("distance-decreasing(agent2 agent1)" 5 489)
("distance-decreasing(agent2 agent1)" 1007 1028)
("heard(agent1 agent2)" 453 552)
 )
)
(14
 (
("distance-increasing(agent2 agent1)" 391 806)
("visible(agent2 agent1)" 264 405)
("heard(agent2 agent1)" 355 452)
("collision(agent1 agent2)" 390 392)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 806 810)
("distance-stable(agent2 agent1)" 831 1081)
("visible(agent1 agent2)" 264 402)
("distance-decreasing(agent2 agent1)" 5 391)
("distance-decreasing(agent2 agent1)" 810 831)
("heard(agent1 agent2)" 355 452)
 )
)
(15
 (
("distance-increasing(agent2 agent1)" 96 217)
("visible(agent2 agent1)" 0 109)
("heard(agent2 agent1)" 64 158)
("collision(agent1 agent2)" 95 97)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 217 221)
("distance-stable(agent2 agent1)" 243 1079)
("visible(agent1 agent2)" 0 108)
("distance-decreasing(agent2 agent1)" 5 96)
("distance-decreasing(agent2 agent1)" 221 243)
("heard(agent1 agent2)" 64 158)
 )
)
(16
 (
("distance-increasing(agent2 agent1)" 39 45)
("distance-increasing(agent2 agent1)" 61 101)
("visible(agent2 agent1)" 0 52)
("heard(agent2 agent1)" 0 1079)
("collision(agent1 agent2)" 38 40)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 45 61)
("distance-stable(agent2 agent1)" 101 1080)
("visible(agent1 agent2)" 0 57)
("distance-decreasing(agent2 agent1)" 5 39)
("heard(agent1 agent2)" 0 1079)
 )
)
(17
 (
("distance-increasing(agent2 agent1)" 224 473)
("visible(agent2 agent1)" 97 238)
("heard(agent2 agent1)" 196 284)
("collision(agent1 agent2)" 223 224)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 473 477)
("distance-stable(agent2 agent1)" 499 1078)
("visible(agent1 agent2)" 97 236)
("distance-decreasing(agent2 agent1)" 5 224)
("distance-decreasing(agent2 agent1)" 477 499)
("heard(agent1 agent2)" 196 284)
 )
)
(18
 (
("distance-increasing(agent2 agent1)" 287 599)
("visible(agent2 agent1)" 160 301)
("heard(agent2 agent1)" 261 347)
("collision(agent1 agent2)" 286 287)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 599 603)
("distance-stable(agent2 agent1)" 623 1081)
("visible(agent1 agent2)" 160 299)
("distance-decreasing(agent2 agent1)" 5 287)
("distance-decreasing(agent2 agent1)" 603 623)
("heard(agent1 agent2)" 261 347)
 )
)
(19
 (
("distance-increasing(agent2 agent1)" 292 608)
("visible(agent2 agent1)" 165 306)
("heard(agent2 agent1)" 257 354)
("collision(agent1 agent2)" 290 292)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 608 612)
("distance-stable(agent2 agent1)" 632 1082)
("visible(agent1 agent2)" 165 304)
("distance-decreasing(agent2 agent1)" 5 292)
("distance-decreasing(agent2 agent1)" 612 632)
("heard(agent1 agent2)" 257 354)
 )
)
(20
 (
("distance-increasing(agent2 agent1)" 137 299)
("visible(agent2 agent1)" 0 151)
("heard(agent2 agent1)" 106 207)
("collision(agent1 agent2)" 135 137)
("distance-stable(agent2 agent1)" 2 5)
("distance-stable(agent2 agent1)" 299 303)
("distance-stable(agent2 agent1)" 323 1082)
("visible(agent1 agent2)" 0 149)
("distance-decreasing(agent2 agent1)" 5 137)
("distance-decreasing(agent2 agent1)" 303 323)
("heard(agent1 agent2)" 106 207)
 )
)
